pre debug: seq ∀ s-> !(s.contains "/" || s.contains "\0") debug: !is_absolute || (seq.first "") != ".."
e.g.